Normal family

 ( Theory Of Continuous Functions ) 

In mathematics, with special application to complex analysis, a normal family is a pre-compact subset of the space of continuous functions. Informally, this means that the functions in the family are not widely spread out, but rather stick together in a somewhat "clustered" manner. Note that a compact family of continuous functions is automatically a normal family. Sometimes, if each function in a normal family F satisfies a particular property (e.g. is holomorphic), then the property also holds for each limit point of the set F.

More formally, let X and Y be topological spaces. The set of continuous functions $f:\; X\; \backslash to\; Y$ has a natural topology called the compact-open topology. A normal family is a pre-compact subset with respect to this topology.

If Y is a metric space, then the compact-open topology is equivalent to the topology of compact convergence, and we obtain a definition which is closer to the classical one: A collection F of continuous functions is called a normal family if every sequence of functions in F contains a subsequence which converges uniformly on compact subsets of X to a continuous function from X to Y. That is, for every sequence of functions in F, there is a subsequence $f\_n(x)$ and a continuous function $f(x)$ from X to Y such that the following holds for every compact space subset K contained in X:

$\backslash lim\_\{n\backslash rightarrow\backslash infty\}\; \backslash sup\_\{x\backslash in\; K\}\; d\_Y(f\_n(x),f(x))\; =\; 0$

where $d\_Y$ is the metric of Y.

---

Normal families of holomorphic functions The concept arose in complex analysis, that is the study of holomorphic functions. In this case, X is an open subset of the complex plane, Y is the complex plane, and the metric on Y is given by $d\_Y(y\_1,y\_2)\; =\; |y\_1-y\_2|$. As a consequence of Cauchy's integral theorem, a sequence of holomorphic functions that converges uniformly on compact sets must converge to a holomorphic function. That is, each limit point of a normal family is holomorphic.

Normal families of holomorphic functions provide the quickest way of proving the Riemann mapping theorem.See for example

• , ,

More generally, if the spaces X and Y are , and Y is equipped with the metric coming from the uniformization theorem, then each limit point of a normal family of holomorphic functions $f:\; X\; \backslash to\; Y$ is also holomorphic.

For example, if Y is the Riemann sphere, then the metric of uniformization is the spherical distance. In this case, a holomorphic function from X to Y is called a meromorphic function, and so each limit point of a normal family of meromorphic functions is a meromorphic function.

---

Criteria In the classical context of holomorphic functions, there are several criteria that can be used to establish that a family is normal: Montel's theorem states that a family of locally bounded holomorphic functions is normal. The Montel-Caratheodory theorem states that the family of meromorphic functions that omit three distinct values in the extended complex plane is normal. For a family of holomorphic functions, this reduces to requiring two values omitted by viewing each function as a meromorphic function omitting the value infinity.

Marty's theorem provides a criterion equivalent to normality in the context of meromorphic functions: A family $F$ of meromorphic functions from a domain $U\; \backslash subset\; \backslash mathbb\{C\}$ to the complex plane is a normal family if and only if for each compact subset K of U there exists a constant C so that for each $f\; \backslash in\; F$ and each z in K we have

$\backslash frac\{2|f\text{'}(z)|\}\{1\; +\; |f(z)|^2\}\; \backslash leq\; C.$

Indeed, the expression on the left is the formula for the pull-back of the arclength element on the Riemann sphere to the complex plane via the inverse of stereographic projection.

---

History Paul Montel first coined the term "normal family" in 1911.P. Montel, C. R. Acad. Sci. Paris 153 (1911), 996–998; Jahrbuch 42, page 426

Rienhard Remmert (1998). 9780387982212, Springer. . ISBN 9780387982212

Because the concept of a normal family has continually been very important to complex analysis, Montel's terminology is still used to this day, even though from a modern perspective, the phrase pre-compact subset might be preferred by some mathematicians. Note that though the notion of compact open topology generalizes and clarifies the concept, in many applications the original definition is more practical.

---

See also

• Fundamental normality test

---

Notes

• John B. Conway (1978). 9780387903286, Springer-Verlag. ISBN 9780387903286
• Theodore W. Gamelin (2025). 9780387950938, Springer-Verlag. ISBN 9780387950938
• Marty, Frederic : Recherches sur la répartition des valeurs d’une function méromorphe. Ann. Fac. Sci. Univ. Toulouse, 1931, 28, N 3, p. 183–261.
• James R. Munkres (2025). 9780131816299, Prentice Hall. ISBN 9780131816299
• J. L. Schiff (1993). 9780387979670, Springer-Verlag. ISBN 9780387979670

Post Comment